Collaborative R&D – A 50 Year Journey

Compiling a 50-year journey

Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example in a modern context, and show how such a compiler can now be calculated directly from a specific...

From surfactant to cellulose and DNA self-assembly. A 50-year journey

Surfactants have been the basis for applications in several industrial sectors for a long time. However, fundamental research was 50 years ago still limited to a small number of academic groups and even basic aspects were controversial. The field has since undergone an enormous expansion and the improved understanding has laid the basis of numerous new products as well as been the basis of impo...

A 50 Year Old Man with Fever and Abdominal Pain

The patient is a 50-year-old man who has been diagnosed with abdominal pain, fever, shivering and constipation with nausea and vomiting with a possible diagnosis of typhoid. Computed tomography (CT) of the abdomen and pelvis was performed by injection of contrast agent for the patient. What is your diagnosis?

Vancomycin: a 50-year reassessment.

MACAO - A Journey into CAx Interoperability and Collaborative Design

The increasing parallelisation of development processes as well as the ongoing trends towards virtual product development and outsourcing of development activities strengthen the need for 3D co-operative design via communication networks. Regarding the field of CAx, none of the existing systems meets all the requirements of very complex process chain. This leads to a tremendous need for the int...